1. Reasoning in Boolean networks

پدیدآورنده :

کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)

موضوع : Integrated circuits, Very large scale integration, Testing, Data processing,Integrated circuits, Verification, Data processing,Logic design, Data processing

رده :
TK7874
.
K866
1997

2. Reasoning in Boolean networks: logic synthesis and verification using testing techniques

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Integrated circuits-- Very large scale integration-- Testing-- Data processing,، Integrated circuits-- Verification-- Data processing,، Logic design-- Data processing

رده :
TK
7874
.
K866
1997

3. Reasoning in boolean networks : logic synthesis and verification using testing techniques

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Testing -- Data processing ، Integrated circuits -- Very large scale integration,Data processing ، Integrated circuits -- Verification,Data processing ، Logic design

رده :
TK
7874
.
K866
1997

4. VLSI design and test for systems dependability /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Integrated circuits-- Very large scale integration-- Design and construction.,Integrated circuits-- Very large scale integration-- Testing.,Integrated circuits-- Very large scale integration-- Design and construction.,Integrated circuits-- Very large scale integration-- Testing.,TECHNOLOGY & ENGINEERING-- Mechanical.

رده :
TK7874